(0 18 15)(1 19 8)(2 13 4)(3 20 17)(5 11 9)(6 16 7)(10 14 12)
ALLOWS (11/8)-SEQUENCE
1: (3 17 20)
(0 18 15)(1 19 8)(2 13 4)(3 17 20)(5 11 9)(6 16 7)(10 14 12)
2: (1 19 8)
(0 18 15)(1)(2 13 4)(3 17 20)(5 11 9)(6 16 7)(8)(10 14 12)(19)
3: (3 17 20)
(0 18 15)(1)(2 13 4)(3)(5 11 9)(6 16 7)(8)(10 14 12)(17)(19)(20)
4: (2 13 4)
(0 18 15)(1)(2)(3)(4)(5 11 9)(6 16 7)(8)(10 14 12)(13)(17)(19)(20)